1521. Software system development: a gentle introduction
پدیدآورنده: Britton, Carol
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer software-- Development,، System design
رده :
QA
76
.
76
.
D47
.
B75
2003
1522. Software technology :
پدیدآورنده: edited by Mike Hinchey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: IEEE Computer Society-- History.,IEEE Computer Society.,Software engineering-- History.,COMPUTER SCIENCE/General.,Software engineering.
رده :
QA76
.
758
1523. Software test attacks to break mobile and embedded devices
پدیدآورنده: Jon Duncan Hagar
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Embedded computer systems-- Security measures,Mobile computing-- Security measures,Penetration testing (Computer security)
رده :
QA76
.
9
.
A25
H343
2014
1524. Software testing :
پدیدآورنده: Naresh Chauhan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software -- Testing.,Logiciels -- Essais.
رده :
QA76
.
76
.
T48
N374
2010
1525. Software testing techniques :
پدیدآورنده: Scott Loveland [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Reliability.,Computer software-- Testing.,Computer software-- Reliability.,Computer software-- Testing.
1526. Solution Approach-iOS 7 Development Recipes: Problem
پدیدآورنده: / Eric Grnlund, Colin Francis, Shawn Grimes-Joseph Hoffman, Hans
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
1527. Source Approach-Embedded Software Development: The Open
پدیدآورنده: / Bertolotti, Ivan Cibrario
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ELECTRONIC|ENGINEERING, INDUSTRIAL&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, ELECTRICAL
رده :
E-BOOK
1528. Spacecraft attitude determination and control
پدیدآورنده: edited by James R. Wertz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Engineering.,Mathematics.
1529. Spatial Modeling in Natural Sciences and Engineering
پدیدآورنده: \ Jurgen Friedrich
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Microsoft visual Basic,Science -- Computer simulation,Engineering -- Computer simulation,ویژوال بیسیک مایکروسافت,علوم -- شبیهسازی کامپیوتری,مهندسی -- شبیهسازی کامپیوتری
رده :
E-Book
,
1530. Special issue of the International Multiconference of Engineers and Computer Scientists 2012
پدیدآورنده: Gi-Chul Yang [and others], editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer engineering -- Congresses.,Engineering -- Congresses.,Software engineering -- Congresses.
رده :
TA5
.
G534
2013
1531. Special op
پدیدآورنده: / by Erik Pace Birkholz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Firewalls (Computer security),Computer networks, Security measures,Computer network architectures,Electronic books., local
رده :
TK5105
.
59
.
B498
2003
1532. Specialising Simulator Generators for High-Performance Monte-Carlo Methods
پدیدآورنده: Gabriele Keller Affiliation: Programming Languages and Systems, School of Computer Science and Engineering, University of New South Wales,
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
رده :
QA76
.
7
G337
9999
1533. Specific Aspect Language Approach-Autonomics Development: A Domain
پدیدآورنده: / Paul Soule
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1534. Specification and Transformation of Programs :
پدیدآورنده: by Helmut A. Partsch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science),Software engineering.
رده :
QA76
.
76
.
D47
B944
1990
1535. Specification and development of interactive systems : focus on streams, interfaces, and refinement
پدیدآورنده: Broy, Manfred, 9491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Software engineering,، Systems engineering
رده :
QA
76
.
758
.
B7
1536. Specification of Software Systems
پدیدآورنده: by V.S. Alagar, K. Periyasamy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
F67
B987
1998
1537. Spip 1.9 :
پدیدآورنده: Michel-Marie Maudet, Anne-Laure Quatravaux, Dominique Quatravaux ; avec la contritbution de Perline.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: SPIP (Logiciel),Computer software-- Development.,System analysis.,Systems engineering.,Édition sur le Web, Logiciels.,Systèmes de gestion de contenu Web.,Computer software-- Development.,REFERENCE-- General.,System analysis.,Systems engineering.
رده :
TK5105
.
8883
.
M447
2007eb
1538. Stability of structures
پدیدآورنده: Chai H. Yoo, Sung C. Lee.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Safety factor in engineering.,Structural stability.
رده :
TA656
.
Y66
2011eb
1539. Stability of structures
پدیدآورنده: Chai H. Yoo, Sung C. Lee.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Safety factor in engineering.,Structural stability.
رده :
TA656
.
Y66
2011eb
1540. Standardization research in information technology :
پدیدآورنده: Kai Jakobs, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Information technology-- Standards.,Standardization.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology-- Standards.,Standardization.
رده :
T58
.
5
.
S7325
2008eb